($\lambda$$A$,$B$,$z$. $A$ $\Leftarrow\!$ $B$) $\in$ $\mathbb{P}\rightarrow\mathbb{P}\rightarrow$($\downarrow$True)$\rightarrow\mathbb{P}$